---

bounded existential quantifier

英 [ˈbaʊndɪd ˌeɡzɪˈstenʃəl ˈkwɒntɪfaɪə(r)] 美 [ˈbaʊndɪd ˌeɡzɪˈstenʃəl ˈkwɑːntɪfaɪər]

网络  有界存在量词

计算机

---

---